Conformance Testing of SGSF-064-1 Using CANoe
نویسندگان
چکیده
منابع مشابه
Conformance Testing for Statecharts
We describe an approach to automatically generate test cases from object-oriented statecharts as they are used in the UML and supported by development tools such as I-Logics Rhapsody. Applying Tretmans’ approach to generate test cases for I/O automata from labeled transition systems, we consider a statechart as a specification of a system under test. Test cases generated from such a specificati...
متن کاملSynchronizing Asynchronous Conformance Testing
We present several theorems and their proofs which enable using synchronous testing techniques such as input output conformance testing (ioco) in order to test implementations only accessible through asynchronous communication channels. These theorems define when the synchronous test-cases are sufficient for checking all aspects of conformance that are observable by asynchronous interaction wit...
متن کامل4 Conformance Testing
In this chapter we tackle the problem of conformance testing between finite state machines. The problem can be briefly described as follows [LY96]. Given a finite state machine MS which acts as specification and for which we know its transition diagram, and another finite state machine MI which is the alleged implementation and for which we can only observe its behavior, we want to test whether...
متن کاملFirewall Conformance Testing
Test Cases for Mealy AutomataIdea: Ensure that every transition of a specification automatonMspec is correctly implemented in the implementation automatonMimp.For every transition from state si to state sj do:in generalfor TCP1) Bring Mimp to the initial state s1Use RST2) Transfer Mimp to state si3) Test the transitionUse a Test Tree4) Verify that...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Applied Sciences
سال: 2015
ISSN: 2076-3417
DOI: 10.3390/app5041086